Books by author Helmut Schwichtenberg

Showing 1 – 11 out of 11 results

1. 

   Computer Science Logic

   Peter G. Clote, Helmut Schwichtenberg | Springer, Berlin, 2000

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   120.90 €

   Buy
2. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   185.99 €

   Buy
3. 

   Logic and Algebra of Specification

   Friedrich L. Bauer, Wilfried Bauer, Helmut Schwichtenberg | Springer, Berlin, 1993

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   185.99 €

   Buy
4. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, Berlin, 2013

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.35 €

   Buy
5. 

   Proof and Computation

   Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   120.90 €

   Buy
6. 

   Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

   Helmut Schwichtenberg, Peter Michael Schuster | World Scientific Publishing Co Pte Ltd, 2021

   
   

   In stock at our supplier - Shipping in 19 - 25 days

   Language: English

   Binding: Hardback

   165.03 €

   Buy
7. 

   Proof and System-Reliability

   Helmut Schwichtenberg, Ralf Steinbrüggen | Springer-Verlag New York Inc., 2002

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.35 €

   Buy
8. 

   Computational Logic

   Ulrich Berger, Helmut Schwichtenberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   185.99 €

   Buy
9. 

   Logic of Computation

   Helmut Schwichtenberg | Springer, 1997

   
   

   In stock at our supplier - Shipping in 15 - 20 days

   Language: English

   Binding: Hardback

   110.92 €

   Buy
10. 

    Proof and System-Reliability

    Helmut Schwichtenberg, Ralf Steinbrüggen | Springer Netherlands, 2002

    
    

    In stock at our supplier - Shipping in 15 - 20 days

    Language: English

    Binding: Hardback

    123.01 €

    Buy
11. 

    Computational Logic

    Ulrich Berger, Helmut Schwichtenberg | Springer, Berlin, 1999

    
    

    Low in stock at our supplier - Shipping in 13 - 16 days

    Language: English

    Binding: Hardback

    185.99 €

    Buy

We were in the final of Shop of the Year 2014. Find out more